Derivacion por definicion